Transaction processing

Results: 2475



#Item
731Information / Transaction processing / Data management / Two-phase commit protocol / Distributed algorithms / Data synchronization / Paxos / Consensus / Replication / Fault-tolerant computer systems / Computing / Data

I Do Declare: Consensus in a Logic Language∗ Peter Alvaro Tyson Condie Neil Conway Joseph M. Hellerstein Russell Sears

Add to Reading List

Source URL: db.cs.berkeley.edu

Language: English - Date: 2009-08-31 01:17:53
732Concurrency control / Computer memory / Concurrent computing / Transaction processing / Memory model / Java Memory Model / Parallel computing / Consistency model / Thread / Computing / Software engineering / Compiler construction

Foundations of the C++ Concurrency Memory Model

Add to Reading List

Source URL: www.hpl.hp.com

Language: English - Date: 2008-05-21 19:05:11
733Anonymity / Transaction processing / Computing / Internet privacy / Data management / Software / Bitcoin / Peer-to-peer computing

Decentralized P2P Crypto Currency Transaction Anonymity via Proof of Stake Protocol Extensions By Z, Cloak Technical Services Division , June, 2014 A.D. Abstract BLOCK CHAIN BASED CRYPTO CURRENCIES OF THE BITCOIN 1.0 GEN

Add to Reading List

Source URL: www.cloakcoin.com

Language: English - Date: 2014-11-15 13:57:23
734Transaction processing / Data / Lock / Extensible Storage Engine / Non-blocking algorithm / Concurrent data structure / Linearizability / SQL / Two-phase locking / Concurrency control / Data management / Computing

Concurrent Data Representation Synthesis Peter Hawkins Alex Aiken ∗ Kathleen Fisher †

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2012-03-29 20:04:36
735Transaction processing / Defined contribution plan / Information technology management / Computing / Relational database management systems / Management / Project management / Scalability / System administration

PRESS RELEASE DATAIR Releases DC/Win – Scalable Administration Software for 401(k) and other Defined Contribution Plans For immediate release September 28, 2005 Westmont, IL. - DATAIR announces its latest release of DC

Add to Reading List

Source URL: www.datair.com

Language: English - Date: 2006-01-09 10:21:00
736Parallel computing / System administration / Transaction processing / Cloud infrastructure / Apache Hadoop / Scheduling / MapReduce / Computer cluster / Job scheduler / Computing / Concurrent computing / Cloud computing

Genetic Algorithm Based Data-Aware Group Scheduling for Big Data Clouds

Add to Reading List

Source URL: www.cloudbus.org

Language: English - Date: 2015-01-13 20:43:48
737Data / Information / Payment systems / SAP / Transaction processing / Data management / Database transaction

file:///Volumes/Development/Projects%20OS%20X/BudgetWorkbookWindowsHelp/Workbook%20Complete%20(Win).html

Add to Reading List

Source URL: snowmintcs.com

Language: English - Date: 2007-10-09 18:32:39
738Data / Concurrency control / Databases / Database management systems / Parallel computing / Database / Consistency model / Linearizability / Serializability / Computing / Transaction processing / Data management

Consistency Without Borders Peter Alvaro, Peter Bailis, Neil Conway, Joseph M. Hellerstein Abstract Distributed consistency is a perennial research topic; in recent years it has become an urgent practical matter as

Add to Reading List

Source URL: www.neilconway.org

Language: English - Date: 2013-09-16 00:17:37
739Transaction processing / Databases / Java platform / Database management systems / Data dependency / Dependence analysis / Isolation / Database / Prepared statement / Computing / Data management / Data

Understanding the Behavior of Database Operations under Program Control Juan M. Tamayo Alex Aiken Nathan Bronson Stanford University {jtamayo,aiken,nbronson}@cs.stanford.edu

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2012-08-07 02:57:23
740Computer programming / Parallel computing / Application programming interfaces / Message Passing Interface / Transaction processing / Deadlock / Lock / Model checking / Non-blocking algorithm / Computing / Concurrent computing / Concurrency control

Formal Verification of Programs That Use MPI One-Sided Communication Salman Pervez1 , Ganesh Gopalakrishnan1 , Robert M. Kirby1 , Rajeev Thakur2 , and William Gropp2 1

Add to Reading List

Source URL: www.mcs.anl.gov

Language: English - Date: 2006-07-13 17:10:38
UPDATE